Extension Field

Given a subfield \(\mathbb{F}\) of a field \(\mathbb{E}\), \(\mathbb{E}\) is called an extension field of \(\mathbb{F}\), and the pair, denoted by \(\mathbb{E}/\mathbb{F}\), is called a field extension.